* Guix related content of ${HOME}/.profile

#+begin_src shell
########
# GUIX #
########

# define profile path
export GUIX_PROFILE="/home/user/.guix-profile"

# source the profile
. "$GUIX_PROFILE/etc/profile"

# ???
# (What is the INFOPATH?)
export INFOPATH="${GUIX_PROFILE}/share/info${INFOPATH:+:}$INFOPATH"

# make binaries fom the profile available on the PATH
export PATH="${GUIX_PROFILE}/bin:${GUIX_PROFILE}/sbin${PATH:+:}$PATH"
export PATH="/home/user/.config/guix/current/bin${PATH:+:}$PATH"

# ???
# (What are those data directories used for?)
export XDG_DATA_DIRS="${GUIX_PROFILE}/share${XDG_DATA_DIRS:+:}$XDG_DATA_DIRS"
export XDG_DATA_DIRS="/usr/share${XDG_DATA_DIRS:+:}$XDG_DATA_DIRS"

# set path for locales
export GUIX_LOCPATH="${HOME}/.guix-profile/lib/locale"

# set path for additional profiles for GUIX
export GUIX_EXTRA_PROFILES="${HOME}/.guix-extra-profiles"

# source additional profiles
export PATH="${PATH}:${GUIX_EXTRA_PROFILES}/fp-in-erlang-course/fp-in-erlang-course/bin"
#+end_src
